1. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
193
2. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
Author: edited by Rohit Parikh
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
193
